Turán's theorem
Erdős–Stone theorem
, a generalization of Turán's theorem from forbidden cliques to forbidden Turán graphs
Turán's theorem - Wikipedia